The text which follows was put together from answers given to questions at meetings held by PD Ouspensky in London and New York between 1935 and 1944. ...

"An imposing edifice of thought. Every one of its twenty chapters will richly repay careful reading. Those passages dealing with ethics, love, the significance of knowledge, and the meaning of life are hard to surpass." - New York Evening Post The title of this book, Tertium Organum, boldly refers no less to a reorganization of all knowledge, but it is primarily a study of psychology, more specifically the psychology of our higher mind. For Ouspensky what we can call the higher (...) mind represents, within a single person, the development of an entirely new way of understanding. In short, psychology is the art of self-study. With remarkable scope and sophistication, Ouspensky shows us in this book, which has been hailed as "a work of genius," just how vast and strange our universe really is. P. D. [PETYR DEMIANOVICH] OUSPENSKY (1878-1947) was a Russian mathematician and philosopher turned mystic, who combined geometry and psychology in his discussion of higher dimensions of existence. After traveling through Europe and the East, seeking unsuccessfully the world's centers where ancient esoteric knowledge and wisdom are not only preserved, but taught to initiates, he returned to Russia where he met and studied under G.I. Gurdjieff. Ouspensky is today best known for his expositions of the early work of this famous Russian mystic. (shrink)

The revised translation of the world famous Russian philosopher's work about attempting to understand man and his place in creation.

Studies man in view of what he may become. Describes how a man must work simultaneously on his knowledge and his being to find inner unity.

This edition of The Psychology of Man's Possible Evolution includes a lecture, not previously published, in which Ouspensky givers some details of the "School of the Fourth Way," with which he was connected, and an account of some of its fundamental principles, methods, and rules. The psychology Ouspensky sets forth in this introductory lectures has existed in one form or another for thousands of years and, unlike modern psychology, studies man from the point of view of what he may become. (...) Once a man realizes how little control he has over his reactions to external circumstances and internal stimuli, he may wish to find a way to becomoe free of this mechanical way of living. Ouspensky describes how a man must work simultaneously on his knowledge and his being to find inner unity and why although his development depends on his own efforts, this is very difficult to achieve without guidance from a "School.". (shrink)

Die 1922 in Der jüdische Student im Berliner Verlag Ferdinand Ostertag publizierte Schrift Die Idee der Zerstreuung und Widersammlung bei den Propheten war die erste Veröffentlichung von Hans Jonas. Zur Zeit der Verfassung des Textes war Jonas Mitglied in der 1906 gegründeten jüdischen Studentenvereinigung Maccabaea, der er vom Herbst 1921 bis Frühjahr 1923 angehörte. Der Staat Israel existierte noch nicht, das heutige Staatsgebiet stand seit dem Zusammenbruch des Osmanischen Reiches 1920 unter britischem Mandat.

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...) of local deduction theorem, description of filter generation, and proper forms of generalized disjunctions. A special stress is put on semilinear substructural logics. Axiomatizations of the weakest semilinear logic over SL and other prominent substructural logics are provided and their completeness with respect to chains defined over the real unit interval is proved. (shrink)

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...) scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...) which they can still be used. (shrink)

This article reviews recent findings indicating some common brain processes during dissociative states and dreaming with the aim to outline a perspective that neural chaotic states during dreaming can be closely related to dissociative states that may manifest in dreams scenery. These data are in agreement with various clinical findings that dissociated states can be projected into the “dream scenery” in REM sleep periods and dreams may represent their specific interactions that may uncover unusual psychological potential of creativity in psychotherapy, (...) art and scientific discoveries. (shrink)

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

The paper is devoted to Nikolay Lossky who was one of the leading Russian philosophers of the first half of the twentieth century. We demonstrate the interrelationship between three aspects of Lossky’s philosophy: realism in the theory of knowledge, hierarchical personalism, and supra-naturalistic concept of evolution. We pay attention to the contemporary relevance of Lossky, and we discuss and critique his ideas in light of those of other philosophers. Lossky acknowledges that the subject interacts with being itself and that knowledge (...) is not a shadow or copy of being. His ontology is based on intuitivism and epistemological optimism. Its main categories are God, as the super-systematic principle, and monads. In Lossky’s metaphysics, the idea of abstract ideal principles of being is quite harmoniously combined with personalism. Lossky’s ontology has strong ethical underpinnings. He considers that values are rooted in being and that the evolution of the world is directed by God towards the good. Lossky elaborates a supra-naturalistic concept of evolution. He extrapolates principles of teleological determination, which are fundamental to human existence, on the underlying levels of the world as a whole. Many trends of modern thought are in tune with Lossky’s philosophy, including a return to metaphysics, panpsychism, Platonism, and the desire to unite the religious worldview with new scientific discoveries. (shrink)

Chaadayev's Philosophical Letters and Apology of a Madman unite the religious approach to history, which was later adopted by the Slavophiles, with the search for Western enlightenment, symbolized in the figure of Peter the Great. - Front flap.

Článek souhrnně odpovídá na vybrané podněty a námitky čtyř textů, jež polemizují s některými aspekty Dvořákovy knihy Kauzalita činitele (Togga 2020). Ve vztahu k článku J. Peregrina vysvětluje, proč nelze přijmout jeho řešení antinomie mezi svobodným rozhodováním a determinismem oddělením dvou druhů jazyků či výkladových rámců. Kritiku S. Sousedíka Dvořák považuje za založenou na příliš úzkém pojetí schopnosti. Odmítá to, že by z pojmu schopnosti plynulo, že ta může být determinována pouze něčím jiným, než je její nositel. Podstatnou část námitky (...) D. Peroutky Dvořák přijímá a upřesňuje, nakolik je existence alternativních možností nutnou podmínkou svobodného charakteru rozhodování. Konečně, v polemice s V. Punčochářem se Dvořák snaží vyložit, ve kterém smyslu náhoda ruší svobodu a ve kterém nikoliv. Dále, autor nepovažuje epistemické alternativy za dostatečné pro skutečnou svobodu rozhodování. (shrink)

Language is an instrument of formulating and communicating ideas. Since not every idea can be (precisely) formulated in language and not all linguistic formulations represent some idea, the user of language is in danger of using linguistic nonsense. An explication of the concept of linguistic nonsense is given by the means of transparent intensional logic of Pavel Tichý.

Current research suggests that stressful life experiences and situations create a substantive effect in the development of the initial manifestations of psychotic disorders and may influence temporo-limbic epileptic-like activity manifesting as cognitive and affective seizure-like symptoms in non-epileptic conditions. The current study assessed trauma history, hair cortisol levels, epileptic-like manifestations and other psychopathological symptoms in 56 drug naive adult young women experiencing their initial occurrence of psychosis. Hair cortisol levels among patients experiencing their initial episode of psychosis, were significantly correlated (...) with stress symptoms measured by Trauma Symptom Checklist-40, and complex partial seizure-like symptoms measured by the Complex Partial Seizure-Like Symptoms Inventory and LSCL-33. Hair cortisol levels were not found to be significantly correlated with symptoms of anxiety and depression measured by Beck depression Inventory and Zung Anxiety Scale. These findings suggest a significant relationship between epileptic-like symptoms and stress responses demonstrated by patients in their first psychotic episode. These findings may suggest the potential for research to explore usefulness of anticonvulsant treatment in patients who do not respond to usual psychotropic medication. (shrink)

This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...) of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. (shrink)

Between the zone of certainty beyond all doubt and the zone of incomprehensible uncertainty, the sources of which are nothing but chance, we need to use solid results from a vast interdisciplinarity. We wish to give here a sense of the factors in play and the state of the debate and advance in the territory of how interdisciplinarity may help to solve problems which are common in many areas of knowledge. Chaos and complexity certainly put limits on what we can (...) know. High complexity, asymmetry and/or non-linearity are universal types of imprecision. Can hazard have purpose and direction?The idea is that the more effort we put into project design to cover as many details and possible consequences as possible we can grasp in our in-depth analysis aiming to create the project (in art or science or society), the greater the chances that the random occurrence of the unpredictable event will settle on the project's purpose and direction and not on contrary to them. There is no vicious circle here. This kind of method can explain many good results already obtained in such circumstances. Simplicity, beauty, rationalistic optimism, are features of unshakeable scientific results We may call this feature of scientific theory or art _uniqueness. _Uniqueness is strongly correlated with _essentialization. _Science is working in that sense: to simplify a phenomenon to its essence in order to study it easily without losing anything important in the analysis. That is _essentialization. _Why and how complex systems move to the edge of chaos? And what do they do to stay there? They are in constant struggle to create or keep order in complexity. That is the pattern of self-organization, the specific feature of human nature. That is why our action is meant to build resilience to deal better with unpredictable events and prevent the emergence of a critical threshold. Uncertainty, indeterminacy, randomness, and contradictions appear, not as non-essential substances of debate to be eliminated by explanation, but as everlasting ingredients of our conception of reality. There are compelling reasons to believe that it is impossible to make accurate, nontrivial predictions concerning human behavior. Logic and reason are and remain priority, but unpredictability forces us to imagination and creative thinking. Indeed we are confronted with a new human landscape. The anomalies become the new normal. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying “xis true” and satisfying the “dequotation schema”for all sentences φ? This problem is investigated in the frame of Łukasiewicz infinitely valued logic.

Procedural justifications of democracy emphasize inclusiveness and respect and by doing so come into conflict with instrumental justifications that depend on voters’ competence. This conflict raises questions about jury theorems and makes their standing in democratic theory contested. We show that a type of no-regret learning called meta-induction can help to satisfy the competence assumption without excluding voters or diverse opinion leaders on an a priori basis. Meta-induction assigns weights to opinion leaders based on their past predictive performance to determine (...) the level of their inclusion in recommendations for voters. The weighting minimizes the difference between the performance of meta-induction and the best opinion leader in hindsight. The difference represents the regret of meta-induction whose minimization ensures that the recommendations are optimal in supporting voters’ competence. Meta-induction has optimal truth-tracking properties that support voters’ competence even if it is targeted by mis/disinformation and should be considered a tool for supporting democracy in hyper-plurality. (shrink)

The ŁΠ and logics were introduced by Godo, Esteva and Montagna. These logics extend many other known propositional and predicate logics, including the three mainly investigated ones (Gödel, product and Łukasiewicz logic). The aim of this paper is to show some advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in the ŁΠ family of logics (namely logics induced by the continuous finitely constructed t-norms and (...) Takeuti and Titani's fuzzy predicate logic). (shrink)